Bernhard Steffen (Autor) / Nejlevnější knihy

Knihy od autora Bernhard Steffen

Zobrazeno 20 – 32 z 32 výsledků

Další

Stránka 2. z 2

Předchozí

Řadit podle a zobrazit také nedostupné

  1. Computing and Software Science

    Computing and Software Science

    Bernhard Steffen, Gerhard Woeginger | Springer International Publishing AG, 2019


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1029

  2. Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Tiziana Margaria, Bernhard Steffen | Springer Nature Switzerland AG, 2018


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  3. Leveraging Applications of Formal Methods

    Leveraging Applications of Formal Methods

    Tiziana Maragria, Bernhard Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  4. Leveraging Applications of Formal Methods, Verification and Validation

    Leveraging Applications of Formal Methods, Verification and Validation

    Tiziana Margaria, Bernhard Steffen, Maik Merten | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  5. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 1995


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  6. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    Tiziana Margaria, Bernhard Steffen | Springer International Publishing AG, 2016


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  7. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Bernhard Steffen, Giorgio Levi | Springer, Berlin, 2004


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  8. Grundlagen der höheren Informatik

    Grundlagen der höheren Informatik

    Bernhard Steffen, Oliver Rüthing, Malte Isberner | Springer, Berlin, 2013


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Němčina

    Vazba: Pevná

    1235

  9. Mathematical Foundations of Advanced Informatics

    Mathematical Foundations of Advanced Informatics

    Bernhard Steffen, Oliver Rüthing, Michael Huth | Springer International Publishing AG, 2018


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    1235

  10. Mathematical Foundations of Advanced Informatics

    Mathematical Foundations of Advanced Informatics

    Bernhard Steffen, Oliver Ruthing, Michael Huth | Springer Nature Switzerland AG, 2019


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1235

  11. Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text

    Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text

    Bernhard Steffen | Nabu Press, 2010


    Skladem u dodavatele - Odesíláme za 14-18 dnů

    Jazyk: Němčina

    Vazba: Brožovaná

    532

  12. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen | Springer Nature Switzerland AG, 2019


    Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1830

Další

Stránka 2. z 2

Předchozí

Záznamů na stránku

Filtrovat výsledky

Jazyk
  • Angličtina30
  • Němčina2
Vazba
  • Brožovaná30
  • Pevná2
Štítky
Dostupnost
  • Do měsíce30
  • Dostupnost neznámá2
Rok vydání
  • 20241
  • 20224
  • 20211
  • 20193
  • 20185
  • 20171
  • 20163
  • 20142
  • 20131
  • 20122
  • 20103
  • 20061
  • 20041
  • 19982
  • 19961
  • 19951
Rozsah ceny

-



Osobní odběr Praha, Brno a 12903 dalších

Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies


Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Zásilkovně
zdarma nad 1 499 Kč.

Nacházíte se: